package efg.library.IF;

import java.security.Principal;
import java.util.HashSet;
import javax.ejb.Remote;

@Remote
public interface LibraryManagerIF
{
  Principal getPrincipal(); // only used by JSF
  HashSet<CustomerDAO> allCustomers();  
  HashSet<BookDAO> allBooks();  
  HashSet<String> allBooks(String name)       throws Exception;
  String addCredits(String name, int credits) throws Exception;
  String lend(String title, String name)      throws Exception;
  String newBook(String title)                throws Exception;
  String newCustomer(String name)             throws Exception;
  String removeBook(String title)             throws Exception;
  String removeCustomer(String name)          throws Exception;
  String unlend(String title)                 throws Exception;
}